|
KMID : 0974620030210020543
|
|
Bulletin of Dongnam Health University
2003 Volume.21 No. 2 p.543 ~ p.550
|
|
|
Formal Modeling and Verification for a New One-Time Password
|
|
Lee Ji-Yeon
|
|
|
Abstract
|
|
|
|
S/KEY System was proposed to guard against intruder’s password replay attack. But S/KEY System has vulnerability that if an attacker derive passphrase from his dictionary file, he can acquire one-time password required for user authentication. In this paper, we propose a correct S/KEY system mixed with EKE to solve the problem. Also, we specify a new S/KEY system with Casper and CSP, verify its secrecy and authentication requirements using FDR model checking tool.
|
|
|
KEYWORD
|
|
|
|
|
|
FullTexts / Linksout information
|
|
|
|
|
|
Listed journal information
|
|
|
|